genart.sat