82.90/87.31	unsat
