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