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