adding project required readme file
reseting non-sat-solver.py