loading SCIP...
8 34156 true
17 18 34 50 60 68 87 90