loading SCIP...
10 43203 true
1 6 19 27 48 50 61 66 81 98