84.63/86.59	unsat
