REAL_Music is satisfying_fifth_constructible