loading SCIP...
14 38312 true
0 4 19 24 41 44 52 67 73 78 80 83 85 98