Sorry, I typed the last note a little quickly. The Ferrante-Rackoff result should have been that there is a 2^{2^cn} algorithm.