loading SCIP...
10 40062 true
7 14 16 24 34 62 68 81 83 92