loading SCIP...
8 40953 true
27 45 62 68 73 80 83 86