Иван и Петр делают работу за 10 часов, Петр и Василий ту же работу за 15 часов, а Василий и Иван за 18 часов. За сколько они выполнят работу вместе?​