Ramming sand and hardening mixture.