6 ms·

Or Julia Robinson: http://en.wikipedia.org/wiki/Julia_Robinson http://en.wikipedia.org/wiki/Julia_Robinson