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