e1593.unisat