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