TSTP Solution File: SYN424+1 by CARINE---0.734