TSTP Solution File: COL120-1 by Refute---2015