TSTP Solution File: NUM375+1.025 by CARINE---0.734