67684.unisat