3x supra y * y supra 12 x