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