83.07/83.26	unsat
