TSTP Solution File: GRP276-1 by SInE---0.4