``` [649] % z3 small.smt2 sat unsat [650] % [650] % cat small.smt2 (assert (exists ((a Real)) (forall ((b Real)) (xor (< b 0.0) (> b (mod (to_int b) (to_int 0.0))))))) (check-sat) (check-sat-using horn) [651] % ``` OS: Ubuntu 18.04 Commit: 6e8d900