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