80.61/82.23	unsat
