TSTP Solution File: SET143+3 by CARINE---0.734