loading SCIP...
12 38156 true
5 6 7 10 32 34 46 49 73 84 89 96