loading SCIP...
11 34812 true
16 21 33 44 56 61 64 67 85 92 93