TSTP Solution File: CSR116+25 by Refute---2015