TSTP Solution File: CSR056+3 by Refute---2015