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