(set-info :status unsat)
(assert (let ((.def_0 (let ((.def_0 (_ bv0 10))) false))) .def_0))
(check-sat)