loading SCIP...
8 35500 true
10 21 27 34 58 67 77 90