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