reverted back to using SAT4J