82.79/83.63	unsat
