Modified SATSolver.java and made executable