sat4j-live.bash 1.69 KB