3 ms·

They don't solve it in polynomial time.