/bundles/org.sat4j.core/org/
../
sat4j