loading SCIP...
17 30594 true
1 4 8 10 18 24 44 49 54 60 66 77 78 81 84 85 93