TSTP Solution File: GEO052-3 by Refute---2015