TSTP Solution File: NUM377+1.025 by CARINE---0.734