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