TSTP Solution File: DAT013_1 by CARINE---0.734