partial-maxsat.wcnf 113 Bytes