TSTP Solution File: GRA069^1 by SInE---0.4