74.90/76.82	unsat
