TSTP Solution File: GEO221+2 by Refute---2015