loading SCIP...
13 30235 true
2 3 28 30 32 33 59 64 74 85 88 93 96