loading SCIP...
9 49766 true
0 3 18 21 25 29 54 81 84