TSTP Solution File: CSR116+45 by Refute---2015