# (x8 V -x50) A (x52 V x24) A (-x54 V -x47) A (x14 V -x11) A (-x5 V -x7) A (x29 V x55) A (x51 V -x53) A (x29 V -x60) A (-x25 V -x52) A (x31 V x3) A (-x8 V -x33) A (-x8 V -x60) A (x53 V -x31) A (x37 V x53) A (-x16 V x5) A (-x52 V x60) A (x4 V x56) A (x28 V -x34) A (x44 V -x26) A (x21 V x21) A (x25 V x44) A (-x32 V -x1) A (-x54 V x23) A (-x47 V x56) A (x5 V -x33) A (-x17 V x29) A (-x23 V -x30) A (-x52 V -x19) A (x26 V x58) A (x15 V -x59) A (-x36 V -x31) A (-x29 V -x60) A (-x54 V x28) A (x57 V -x26) A (x50 V -x13) A (-x43 V -x12) A (-x45 V -x50) A (-x54 V -x44) A (-x4 V -x32) A (x21 V -x50) A (x1 V -x31) A (-x50 V x34) A (x31 V -x13) A (-x22 V x36) A (-x14 V -x9) A (x33 V x4) A (x18 V -x41) A (x5 V -x37) A (x6 V x14) A (x5 V x25) A (-x25 V -x38) A (x8 V x34) A (-x27 V -x8) A (-x54 V x11) A (x22 V x1) A (x8 V x26) A (x35 V x30) A (-x53 V -x10) A (-x21 V x41) A (-x3 V x2) A (-x9 V x8) A (-x5 V x58) A (x45 V -x59) A (x28 V -x2) A (x41 V -x30) A (-x42 V -x52) A (x35 V -x15) A (-x38 V x51) A (-x53 V -x49) A (-x40 V -x38) A (-x53 V x1) A (x29 V -x23) A (x9 V x55) A (x5 V -x41) A (-x43 V -x23) A (x19 V -x38) A (x41 V -x15) A (x40 V x35) A (-x32 V -x59) A (-x43 V -x51) A (x31 V x18) A (x30 V -x41) A (-x30 V x22) A (x57 V x60) A (x24 V x6) A (x8 V x16) A (x15 V -x49) A (x42 V x6) A (x51 V -x32) A (x59 V x49) A (-x13 V x45) A (-x46 V x9) A (x36 V x27) A (x25 V x22) A (-x31 V -x29) A (-x30 V x36) A (x40 V -x9) A (-x45 V x55) A (x19 V x39) A (x6 V -x10) TRUE assignment:1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 8 -50 52 24 -54 -47 14 -11 -5 -7 29 55 51 -53 29 -60 -25 -52 31 3 -8 -33 -8 -60 53 -31 37 53 -16 5 -52 60 4 56 28 -34 44 -26 21 21 25 44 -32 -1 -54 23 -47 56 5 -33 -17 29 -23 -30 -52 -19 26 58 15 -59 -36 -31 -29 -60 -54 28 57 -26 50 -13 -43 -12 -45 -50 -54 -44 -4 -32 21 -50 1 -31 -50 34 31 -13 -22 36 -14 -9 33 4 18 -41 5 -37 6 14 5 25 -25 -38 8 34 -27 -8 -54 11 22 1 8 26 35 30 -53 -10 -21 41 -3 2 -9 8 -5 58 45 -59 28 -2 41 -30 -42 -52 35 -15 -38 51 -53 -49 -40 -38 -53 1 29 -23 9 55 5 -41 -43 -23 19 -38 41 -15 40 35 -32 -59 -43 -51 31 18 30 -41 -30 22 57 60 24 6 8 16 15 -49 42 6 51 -32 59 49 -13 45 -46 9 36 27 25 22 -31 -29 -30 36 40 -9 -45 55 19 39 6 -10