loading SCIP...
15 35203 true
2 4 11 18 28 33 38 50 64 69 71 73 90 97 99