84.96/85.25	unsat
