82.61/82.73	unsat
