loading SCIP...
39 2093 true
6 7 13 16 20 22 24 25 26 29 30 31 32 33 35 44 45 48 49 51 54 55 56 57 58 63 67 68 69 74 75 78 87 92 93 94 96 97 98