loading SCIP...
9 48469 true
7 11 17 34 38 60 73 81 90