1 var 2
2 constd 2 2
3 eq 1 1 2
4 root 1 -3