News for package sat4j