sat4j-live.bash 1018 Bytes