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