83.39/85.28	unsat
