loading SCIP...
9 45953 true
0 13 21 22 23 28 51 53 57