82.18/83.61	unsat
