SatSolver.java: parseResult() working