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

