Real-life problem on Chinese remainder theorem