weighted-maxsat.wcnf 114 Bytes