c hi !!!
p noncnf 5
4 -1 3 1 2 0
c bjr
4 -1 5 3 4 0
c bjr ?