The running time of our algorithm, although polynomial in the system size, is hardly practical as the exponent of this polynomial given by our analysis is very large.