假设a三角形b等于5a减3b,已知x三角形(4三角形3)等于12.求x.