83.11/83.35	unsat
