ladle.sat