diff-ccminisat.txt 7.64 KB