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