loading SCIP...
44 578 true
0 1 3 9 11 12 16 19 22 23 25 26 29 30 31 33 36 38 41 43 44 48 54 55 58 59 60 61 65 67 68 69 70 71 77 79 80 81 86 87 90 91 93 98