loading SCIP...
54 93 true
1 3 5 6 7 8 11 12 14 17 18 20 25 27 30 31 32 33 34 38 39 40 41 42 45 47 49 50 51 52 53 55 57 58 59 60 62 63 64 65 66 73 74 75 78 81 83 84 85 88 89 91 92 94