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