71.47/76.11	unsat
