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