In what proportion should 95% alcohol be mixed with 30% alcohol to make 70% alcohol?