How do you solve 12x3<7?