loading SCIP...
7 51437 true
7 14 15 24 57 68 73