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