1 (set-option :incremental false)
2 (set-info :status unsat)
5 (declare-fun x0 () Bool)
6 (declare-fun x1 () Bool)
7 (declare-fun x2 () Bool)
8 (declare-fun x3 () Bool)
9 (check-sat-assuming ( (and (or x1 (not x0)) (or x0 (not x3)) (or x3 x2) (not x1) x2 x3) ))