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