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