draw.sat