loading SCIP...
10 45594 true
1 2 10 17 26 51 57 59 86 98