67679.unisat