loading SCIP...
17 33875 true
5 13 18 19 23 40 49 50 57 59 60 74 76 81 89 92 98