Phil has 12 stamps of denominations of $0.37 and $0.23. If the total value of
the stamps is $3.46, how many $0.37 stamps does Phil have?