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