loading SCIP...
30 11078 true
5 9 11 12 13 14 17 18 20 23 25 26 29 31 38 44 60 65 66 68 72 73 76 77 81 84 85 87 90 99