loading SCIP...
8 45109 true
0 29 53 56 68 73 79 85