Solver is slow for (a*b)%10 == 0 constraint

```
(set-info :status unknown)
(declare-fun b () (_ BitVec 256))
(declare-fun a () (_ BitVec 256))
(assert (= (bvsmod (bvmul a b) (_ bv10 256)) (_ bv0 256)))
(check-sat)
```
This takes around 35s for some reason. This will be instantaneous with a random assignment of a and b. Is there a reason for this slowdown?Is there a way to speed it up?