If a satisfying assignment is found, output is the assignment (using -solcnf flag):
v 1 v -2 v -3 v -4
