fixed gosat.go to deal with exit satus 20 from minisat
fixed gosat.go to not populate empty solution with true