loading SCIP...
13 35688 true
0 2 7 18 19 53 59 65 81 84 88 92 99