added sat4j to the maven dependencies