(set-logic QF_BV)
(set-info :status unsat)
(declare-const v (_ BitVec 6))
(assert (and (= (bvadd v v) (_ bv53 6)) (not (bvuaddo v v))))
(check-sat)