71.47/76.91	unsat
