The prediction of the quality of results in Logic Synthesis using Transformer and Graph Neural Networks