reverted back to using SAT4J
another parse method