84.24/86.38	unsat
