usual.sat