loading SCIP...
14 34656 true
7 11 17 18 44 50 62 66 68 70 77 89 90 92