Computational verification of M11 and M12 as galois groups over Q