sat4j as default solver