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