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