loading SCIP...
13 34734 true
0 6 9 29 44 56 63 66 74 76 90 92 98