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