82.60/84.57	unsat
