proof 275