74.84/76.20	unsat
