; (assert(bvcomp#xe#x5))(check-sat)(get-unsat-assumptions)(assert(bvand#xe#xe)
; (assert(bvcomp#xe#x5))(check-sat)(get-unsat-assumptions)(assert(bvand#xe#xe))

;(assert(bvcomp#xe#x5))
;(check-sat)
;(get-unsat-assumptions)
;(assert(bvand#xe#xe))

(assert(bvcomp#xe#x5))
(check-sat)
(get-unsat-assumptions)