83.34/86.02	unsat
