Potential refutational soundness issue on integer formula

[rainoftime]

Hi, for the following formula,

(declare-const x (Array Bool Int))
(declare-fun v () Bool)
(declare-fun v6 () Bool)
(check-sat)
(assert (= (store (store x false 0) v 3) (store (store x v6 1) true 0)))
(check-sat)

z3 11030fc yields

sat
unsat

But cvc5 returns

sat
sat

The following is a model produced by cvc5 and passes the checking of z3

(define-fun x () (Array Bool Int) (store ((as const (Array Bool Int)) 0) false 3))
(define-fun v () Bool false)
(define-fun v6 () Bool true)