1667.unisat