How many kgs of Basmati rice costing Tk. 42 per kg should a shopkeeper mix with 25 kgs of ordinary rice costing Tk. 24 per kg so that he makes a profit of 25% on selling the mixture at Tk. 40 per kg?