5 ms·

isn't this what SAT solvers are for?