TSTP Solution File: REL017+2 by CARINE---0.734