TSTP Solution File: COL003-7 by Refute---2015