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