1 2 3 4
(set-logic QF_S) (set-info :status unsat) (assert (str.in_re "" (re.diff (re.* re.allchar) re.allchar (re.* re.allchar)))) (check-sat)