TSTP Solution File: SET614^5 by CARINE---0.734