maxsat.cnf 93 Bytes