loading SCIP...
13 40063 true
15 17 22 40 46 52 69 72 74 77 78 87 91