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