loading SCIP...
17 29203 true
2 4 6 11 23 24 29 31 34 35 53 62 64 67 75 76 77