loading SCIP...
44 453 true
1 3 5 6 7 8 9 10 12 13 22 23 26 27 28 30 33 36 37 38 42 43 45 46 48 49 53 54 55 60 64 65 69 70 73 74 75 76 80 84 85 86 94 98