handle picosat_sat() return values