TSTP Solution File: CSR058+2 by Refute---2015