3 ms·

I’d recommend reading about DPLL and CDCL. These are relatively simple concepts that you can code up yourself