82.80/84.73	unsat
