Sepuluh tukang membuat pondasi selesai 12 hari. Berapa tukangkah yang dibutuhkan untuk membuat pondasi dalam 1/2 hari?