loading SCIP...
15 33906 true
1 6 19 25 28 37 51 64 68 70 73 78 80 87 92