82.19/84.25	unsat
