83.39/86.23	unsat
