Implemented SAT4J