loading SCIP...
10 44468 true
7 15 18 25 42 47 59 62 78 93