81.41/83.84	unsat
