(define 3sat-20clause-10var
'((?v2 ?v9 (not ?v0)) (?v1 ?v9 (not ?v5)) ((not ?v1) (not ?v7) ?v4) (?v2 (not ?v2) ?v1) (?v3 (not ?v9) ?v8) ((not ?v6) (not ?v2) (not ?v5)) ((not ?v7) ?v1 ?v7) ((not ?v4) (not ?v4) (not ?v7)) ((not ?v8) ?v5 (not ?v2)) ((not ?v3) (not ?v1) ?v9) ((not ?v2) ?v8 ?v9) ((not ?v2) ?v4 ?v7) (?v1 (not ?v4) (not ?v2)) ((not ?v9) (not ?v4) (not ?v5)) (?v0 (not ?v5) (not ?v8)) (?v4 (not ?v1) (not ?v8)) (?v2 ?v8 (not ?v9)) ((not ?v9) (not ?v7) (not ?v9)) (?v3 ?v7 ?v4) (?v4 ?v7 (not ?v6)))
)