loading SCIP...
17 31828 true
0 4 12 13 21 33 36 49 51 55 66 68 69 71 85 87 90