Structure based SAT dataset for analysing GNN generalisation