TSTP Solution File: GEO172+1 by Refute---2015