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