5592.unisat