loading SCIP...
10 43297 true
5 20 21 29 30 40 56 70 73 85