TSTP Solution File: CSR115+54 by Refute---2015