fix the bug of -solcnf option.
get rid of unused variables.