TSTP Solution File: GRA070^1 by CARINE---0.734