TSTP Solution File: COL002-2 by Refute---2015