loading SCIP...
10 46813 true
0 2 14 48 52 72 73 77 86 91