loading SCIP...
51 93 true
6 7 8 10 12 14 16 17 22 24 26 28 29 30 32 33 34 35 36 39 40 41 45 47 48 53 54 57 58 60 61 64 65 67 69 71 73 76 77 79 80 83 85 86 87 88 89 90 92 94 98