loading SCIP...
16 31937 true
20 33 35 39 43 44 45 48 53 55 62 67 73 80 91 95