TSTP Solution File: GRP133-2.003 by SInE---0.4