/* package whatever; // don't place package name! */

import java.util.*;
import java.lang.*;
import java.io.*;

/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
	public static void main (String[] args) throws java.lang.Exception
	{
		  float FIGHTING_BONUS = 1.5f;
                int sourceWarlocks = 20;
                int sourceCrusaders = 10;
                int sourceAmazons = 0;
               
                int destinationWarlocks = 12;
                int destinationCrusaders = 12;
                int destinationAmazons = 12;
               
                int sourceWarlocksBalance = Math.max(0, sourceWarlocks - destinationWarlocks);
                int sourceWarlocksBonus = Math.min(sourceWarlocksBalance, destinationAmazons);
                float sourceWarlocksStrength = (sourceWarlocks - sourceWarlocksBonus + (sourceWarlocksBonus * FIGHTING_BONUS));
                int sourceCrusadersBalance = Math.max(0, sourceCrusaders - destinationCrusaders);
                int sourceCrusadersBonus = Math.min(sourceCrusadersBalance, destinationWarlocks);
                float sourceCrusadersStrength = (sourceCrusaders - sourceCrusadersBonus + (sourceCrusadersBonus * FIGHTING_BONUS));
                int sourceAmazonsBalance = Math.max(0, sourceAmazons - destinationAmazons);
                int sourceAmazonsBonus = Math.min(sourceAmazonsBalance, destinationCrusaders);
                float sourceAmazonsStrength = (sourceAmazons - sourceAmazonsBonus + (sourceAmazonsBonus * FIGHTING_BONUS));
                float sourceTotalStrength = sourceWarlocksStrength + sourceCrusadersStrength + sourceAmazonsStrength;
               
                int destinationWarlocksBalance = Math.max(0, destinationWarlocks - sourceWarlocks);
                int destinationWarlocksBonus = Math.min(destinationWarlocksBalance, sourceAmazons);
                float destinationWarlocksStrength = (destinationWarlocks - destinationWarlocksBonus + (destinationWarlocksBonus * FIGHTING_BONUS));
                int destinationCrusadersBalance = Math.max(0, destinationCrusaders - sourceCrusaders);
                int destinationCrusadersBonus = Math.min(destinationCrusadersBalance, sourceWarlocks);
                float destinationCrusadersStrength = (destinationCrusaders - destinationCrusadersBonus + (destinationCrusadersBonus * FIGHTING_BONUS));
                int destinationAmazonsBalance = Math.max(0, destinationAmazons - sourceAmazons);
                int destinationAmazonsBonus = Math.min(destinationAmazonsBalance, sourceCrusaders);
                float destinationAmazonsStrength = (destinationAmazons - destinationAmazonsBonus + (destinationAmazonsBonus * FIGHTING_BONUS));
                float destinationTotalStrength = destinationWarlocksStrength + destinationCrusadersStrength + destinationAmazonsStrength;
               
                System.out.println("A : " + sourceWarlocksBonus + "/" + sourceCrusadersBonus + "/" + sourceAmazonsBonus + " vs D : " + destinationWarlocksBonus + "/" + destinationCrusadersBonus + "/" + destinationAmazonsBonus);
                System.out.println("A : " + sourceTotalStrength + " vs D : " + destinationTotalStrength);
	}
}