2 ms·

Huh, thanks! That's completely surprising to me. Edit: ah ok, a semi-algorithm that just tries all possible programs...