loading SCIP...
13 41157 true
0 13 16 34 38 40 47 49 56 59 85 88 91