% z3 1.smt2
sat
(((select circle (_ bv0 32) ) #x05))
(((select circle (_ bv1 32) ) #x00))
(((select circle (_ bv2 32) ) #x00))
(((select circle (_ bv3 32) ) #x00))