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