72.53/76.20	unsat
