loading SCIP...
10 45203 true
0 10 11 24 50 51 55 64 78 90