Don't explicitly use SAT4J, use the default MiniSat.