loading SCIP...
10 43656 true
3 6 30 40 42 52 58 67 74 86