81.78/83.68	unsat
