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