SAT4J.txt 25.8 KB