usr/share/java/org.ow2.sat4j.core.jar usr/bin/sat4j
