86.58/86.64	unsat
