process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function (chunk) {
const [hamburger, capacity] = chunk.trim().split(" ").map(Number);
const minimunTime = (2 * hamburger) / capacity;
process.stdout.write(minimunTime.toString());
});
// Complejidad: O(1)
cHJvY2Vzcy5zdGRpbi5yZXN1bWUoKTsKcHJvY2Vzcy5zdGRpbi5zZXRFbmNvZGluZygndXRmOCcpOwogCnByb2Nlc3Muc3RkaW4ub24oJ2RhdGEnLCBmdW5jdGlvbiAoY2h1bmspIHsKCWNvbnN0IFtoYW1idXJnZXIsIGNhcGFjaXR5XSA9IGNodW5rLnRyaW0oKS5zcGxpdCgiICIpLm1hcChOdW1iZXIpOwoJY29uc3QgbWluaW11blRpbWUgPSAoMiAqIGhhbWJ1cmdlcikgLyBjYXBhY2l0eTsKCXByb2Nlc3Muc3Rkb3V0LndyaXRlKG1pbmltdW5UaW1lLnRvU3RyaW5nKCkpOwp9KTsKCi8vIENvbXBsZWppZGFkOiBPKDEp