triple.sat