first version of call to sat4j