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