TSTP Solution File: CSR153^2 by Refute---2015