loading SCIP...
9 43921 true
1 18 21 44 53 57 68 72 75