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