loading SCIP...
7 50406 true
5 32 36 68 78 85 92