TSTP Solution File: DAT025_1 by CARINE---0.734