p cnf 96 3 c the variables weights w 74 2 w 74 2 c the student preferences: 214 96 -1 17 0 -2 17 0 -3 18 0 -4 18 0 -5 19 0 -6 19 0 -7 20 0 -8 20 0 -9 21 0 -10 21 0 -11 22 0 -12 22 0 -13 23 0 -14 23 0 -15 24 0 -16 24 0 -17 1 2 3 4 0 -18 1 2 3 4 0 -19 5 6 7 8 0 -20 5 6 7 8 0 -21 9 10 11 12 0 -22 9 10 11 12 0 -23 13 14 15 16 0 -24 13 14 15 16 0 -1 29 0 -2 30 0 -3 31 0 -4 32 0 -1 33 0 -2 34 0 -3 35 0 -4 36 0 -9 33 0 -10 34 0 -11 35 0 -12 36 0 -9 37 0 -10 38 0 -11 39 0 -12 40 0 -13 29 0 -14 30 0 -15 31 0 -16 32 0 -13 37 0 -14 38 0 -15 39 0 -16 40 0 -29 1 13 0 -30 2 14 0 -31 3 15 0 -32 4 16 0 -33 9 1 0 -34 10 2 0 -35 11 3 0 -36 12 4 0 -37 13 9 0 -38 14 10 0 -39 15 11 0 -40 16 12 0 -1 -13 0 -2 -14 0 -3 -15 0 -4 -16 0 -9 -1 0 -10 -2 0 -11 -3 0 -12 -4 0 -13 -9 0 -14 -10 0 -15 -11 0 -16 -12 0 -1 -5 0 -1 -9 0 -5 -9 0 -2 -6 0 -2 -10 0 -6 -10 0 -3 -7 0 -3 -11 0 -7 -11 0 -4 -8 0 -4 -12 0 -8 -12 0 -1 -5 -25 -26 0 -1 -9 -25 -27 0 -1 -13 -25 -28 0 -5 -9 -26 -27 0 -5 -13 -26 -28 0 -9 -13 -27 -28 0 -2 -6 -25 -26 0 -2 -10 -25 -27 0 -2 -14 -25 -28 0 -6 -10 -26 -27 0 -6 -14 -26 -28 0 -10 -14 -27 -28 0 -3 -7 -25 -26 0 -3 -11 -25 -27 0 -3 -15 -25 -28 0 -7 -11 -26 -27 0 -7 -15 -26 -28 0 -11 -15 -27 -28 0 -4 -8 -25 -26 0 -4 -12 -25 -27 0 -4 -16 -25 -28 0 -8 -12 -26 -27 0 -8 -16 -26 -28 0 -12 -16 -27 -28 0 -1 0 -4 0 1 -2 44 0 -1 2 44 0 -1 -2 45 0 3 -4 46 0 -3 4 46 0 -3 -4 47 0 46 -44 41 0 -46 44 41 0 -46 -44 48 0 48 47 -45 42 0 48 -47 45 42 0 -48 47 45 42 0 -48 -47 -45 42 0 -48 -47 43 0 -48 -45 43 0 -47 -45 43 0 -41 0 42 0 -43 0 5 -6 52 0 -5 6 52 0 -5 -6 53 0 7 -8 54 0 -7 8 54 0 -7 -8 55 0 54 -52 49 0 -54 52 49 0 -54 -52 56 0 56 55 -53 50 0 56 -55 53 50 0 -56 55 53 50 0 -56 -55 -53 50 0 -56 -55 51 0 -56 -53 51 0 -55 -53 51 0 49 0 -50 0 -51 0 9 -10 60 0 -9 10 60 0 -9 -10 61 0 11 -12 62 0 -11 12 62 0 -11 -12 63 0 62 -60 57 0 -62 60 57 0 -62 -60 64 0 64 63 -61 58 0 64 -63 61 58 0 -64 63 61 58 0 -64 -63 -61 58 0 -64 -63 59 0 -64 -61 59 0 -63 -61 59 0 -57 0 58 0 -59 0 13 -14 68 0 -13 14 68 0 -13 -14 69 0 15 -16 70 0 -15 16 70 0 -15 -16 71 0 70 -68 65 0 -70 68 65 0 -70 -68 72 0 72 71 -69 66 0 72 -71 69 66 0 -72 71 69 66 0 -72 -71 -69 66 0 -72 -71 67 0 -72 -69 67 0 -71 -69 67 0 -65 0 66 0 -67 0 73 18 0 73 17 0 74 17 18 0 75 20 0 75 19 0 76 19 20 0 77 22 0 77 21 0 78 21 22 0 79 24 0 79 23 0 80 23 24 0 25 0 26 0 27 0 28 0 -85 -29 30 0 -86 -30 29 0 -87 -31 32 0 -88 -32 31 0 -89 -33 34 0 -90 -34 33 0 -91 -35 36 0 -92 -36 35 0 -93 -37 38 0 -94 -38 37 0 -95 -39 40 0 -96 -40 39 0 s 49 -28 0 -74 0 85 0 86 0 87 0 88 0 s 33 -27 0 -74 0 89 0 90 0 91 0 92 0 s 49 -27 0 -28 0 93 0 94 0 95 0 96 0