loading SCIP...
8 24421 true
3 13 15 39 51 87 88 92