82.25/84.29	unsat
