TSTP Solution File: CSR116+24 by Refute---2015