loading SCIP...
10 44281 true
5 6 10 24 26 32 35 42 55 83