fix(pysat.py): fix the return "None" problem