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