tasks.sat