using.sat