2 ms·

Do you still pay if the solver cannot find a solution?