3 ms·

And for prolog I have to use the most expensive opus, which really should be a haiku task. Prolog is so simple. Still didn't get my solvers to work right