converting back from cnf to original variables

[HurleyResearch]

Hi, I used limboole.exe -d to convert a file like:

( v3 & !v0 )
& ( v2 & !v0 )
& ( v1 & !v0 )
& ( v6 & v17 & !v0 )
...

to cnf which looked like:

c 1 v3
c 2 v0
c 5 v2
c 8 v1
c 11 v6
c 12 v17
c 16 v5
c 20 v7
c 21 v13
c 28 v9
c 35 v15
c 36 v19
c 40 v11
c 41 v18
c 48 v10
c 49 v14
c 380 v4
c 388 v16
c 395 v12
c 402 v8
p cnf 1559 4598
3 2 0
-3 -2 0
-4 1 0
-4 3 0
4 -1 -3 0
...
...

I then used sat4j-maxsat.jar to find an optimal solution, which worked, so I now have values for the 1559 variables.

How do I go about finding values for the original v0, v1... vN variables from my original expression?

thanks!