Added SATSolver.java and deleted .class counterpart