TSTP Solution File: TOP009-1 by CARINE---0.734