decide.sat