loading SCIP...
8 29937 true
6 17 35 45 78 84 87 96