TSTP Solution File: NUM444+6 by CARINE---0.734