c2le_307 s UNSATISFIABLE 48.91
c2le_309 s UNSATISFIABLE 73.31
c2le_310 s UNSATISFIABLE 92.63
c2le_311 s UNSATISFIABLE 212.36
