TSTP Solution File: CSR077+4 by Refute---2015