loading SCIP...
18 29078 true
2 16 36 37 38 40 41 50 52 53 62 73 80 84 85 87 91 96