Return A - KSAT taking machine using Natural Language Processing Return A - KSAT taking machine using Natural Language Processing