81.78/83.89	unsat
