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