83.77/84.25	unsat
