loading SCIP...
10 40907 true
1 2 3 10 33 42 44 52 62 70