Create MaxSAT1.cnf