$ z3-4.8.10 unknown.smt2
unsat
$ z3trunk unknown.smt2
unknown
$ cat unknown.smt2
(assert (forall ((v Int)) (= 0 v)))
(assert (= 0 (mod 0 0)))
(check-sat)