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