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