formatting
added sat4j