commented out print statements in non-sat-solver and added SAT template in wrapper.py