For his long distance phone service, Manuel pays a $2 monthly fee plus 12 cents per minute. Last month, Manuel's long distance bill was 17.12. For how many minutes was Manuel billed?