e6547.unisat