Treewidth Inapproximability and Tight ETH Lower Bound | Synapse