1 2 3 4 5 6
(set-info :smt-lib-version 2.5) (set-logic ALL) (set-info :status sat) (assert (not (str.< "\xe8" "\x19"))) (check-sat) (exit)