water.c

#include <cs50.h>
#include <stdio.h>

int main(void)
{
    int mins;
    do
    {
        printf("Minutes: ");
        mins = get_int(); 
    } while(mins <= 0);
    mins *= 12;
    printf("Bottles: %i\n", mins);
}