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