loading SCIP...
9 43906 true
5 30 35 45 68 70 77 94 97