print.sat