(x18 OR x11) AND (~x1 OR ~x17) AND (~x3 OR ~x24) AND (~x2 OR ~x2) AND (~x27 OR x11) AND (x6 OR ~x14) AND (x29 OR ~x7) AND (~x5 OR ~x8) AND (~x23 OR x20) AND (x17 OR ~x14) AND (x10 OR ~x8) AND (~x18 OR x11) AND (x10 OR x18) AND (~x19 OR ~x15) AND (x19 OR x5) AND (x20 OR ~x29) AND (~x3 OR x14) AND (~x17 OR x29) AND (~x22 OR x18) AND (x2 OR x25) AND (~x2 OR ~x4) AND (~x19 OR ~x9) AND (x3 OR ~x4) AND (~x3 OR ~x26) AND (x2 OR x23) AND (x4 OR ~x27) AND (x4 OR ~x28) AND (x21 OR ~x17) AND (~x23 OR ~x15) AND (~x25 OR x18) AND (x3 OR x16) AND (~x25 OR ~x25) AND (x28 OR ~x5) AND (~x26 OR ~x15) AND (x17 OR x13) AND (~x16 OR ~x17) AND (~x19 OR ~x26) AND (~x7 OR x16) AND (~x15 OR x26) AND (x7 OR ~x14) AND (~x15 OR x25) AND (~x23 OR x9) AND (x10 OR x11) AND (~x22 OR ~x19) AND (~x23 OR ~x28) AND (x12 OR ~x18) AND (~x12 OR ~x18) AND (~x19 OR x8) AND (~x14 OR ~x15) AND (x10 OR x6)
