neq.sat