refuse.sat