loading SCIP...
19 28344 true
4 5 7 16 22 24 27 30 37 41 48 56 57 61 62 63 66 67 94