4 ms·

Fedora's dnf also uses SAT and it's way faster (with caching) than the handwritten resolver it replaced.