04682.unisat