3 ms·

Or reducing default reasoning levels?