changed default solver to SAT4J