loading SCIP...
18 27000 true
1 23 30 31 34 39 42 44 45 48 50 56 71 74 83 84 88 89