sat4j binary: executable-not-elf-or-script usr/share/java/org.sat4j.core-2.3.1.jar
