Comment by MiroF

The SAT doesn't testing anything as high level as that.