Judy uses 9.4 pints of white paint and blue paint to paint her bedroom walls. 1/4 of this amount is white paint, and the rest is blue paint. How many pints of blue paint did she use to paint her bedroom walls?