loading SCIP...
12 40953 true
15 17 27 49 54 57 73 74 75 79 95 96