loading SCIP...
9 38844 true
15 21 22 44 45 53 55 57 98