loading SCIP...
9 47875 true
13 19 22 44 45 51 61 63 72