TSTP Solution File: GEO204+3 by Refute---2015