1 var 8 v1
2 var 8 v2
3 eq 1 1 2
4 root 1 -3