80.51/81.72	unsat
