83.02/83.92	unsat
