loading SCIP...
9 42188 true
7 14 20 22 31 57 87 88 96