loading SCIP...
11 42015 true
0 4 7 16 18 20 31 55 56 76 79