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