loading SCIP...
10 44844 true
5 6 8 27 58 62 72 77 83 96