loading SCIP...
30 7469 true
1 3 16 21 27 28 30 35 37 40 42 55 56 57 58 59 63 66 72 73 74 76 77 79 84 88 89 92 98 99