loading SCIP...
15 34937 true
1 28 36 41 45 50 52 53 54 62 68 75 78 82 89