3 ms·

and there's also this: https://github.com/MatthiasNickles/delSAT https://github.com/MatthiasNickles/delSAT