76.47/76.88	unsat
