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