loading SCIP...
60 78 true
2 3 8 11 12 13 14 15 16 17 21 25 26 27 28 29 30 32 33 36 37 38 39 40 41 42 46 47 48 49 50 51 52 53 54 55 57 58 59 60 62 63 64 65 66 67 68 73 75 76 77 78 80 84 88 89 92 97 98 99