CBO score: everyone covered, except 37 million