tup.sat