least.sat