81.43/83.84	unsat
