Experiments with Sat4j.