useful.sat