Buggy python submission (verdict: Time Limit Exceeded):
# 所持している鍵の集合をbitで表現する
#　鍵の集合を表す2進数が少なくなる方向に遷移することはないから，for文for文でかける

N, M = map(int, input().split())
status_money = [float('inf')] * (1 << N)

# 初期状態からの遷移を記録
for _ in range(M) :
    a, b = map(int, input().split())
    C = 0
    for c in input().split() :
        C |= (1 << int(c) - 1)
    status_money[C] = min(status_money[C], a)
    
# ある状態とある状態の組合せを全部取る
for c in range(1 << N):
    # どんな鍵の組合せでも到達できない宝箱の組合せがあるかもしれない
    if status_money[c] == float('inf'):
        continue
    for d in range(1 << N):
        # c と d の論理和をとって新しく生成される状態 e を考える
        e = c | d
        # eにあらかじめ格納されている最小コストと，今生成したコストとのminをとる
        status_money[e] = min(status_money[c] + status_money[d], status_money[e])

# そもそも到達できない場合の処理を記述       
if status_money[-1] == float('inf'):
    print(-1)
else:
    print(status_money[-1])

Fixed submission:
# 所持している鍵の集合をbitで表現する
#　鍵の集合を表す2進数が少なくなる方向に遷移することはないから，for文for文でかける

N, M = map(int, input().split())
status_money = [float('inf')] * (1 << N)

# 初期状態からの遷移を記録
for _ in range(M) :
    a, b = map(int, input().split())
    C = 0
    for c in input().split() :
        C |= (1 << (int(c) - 1))
    status_money[C] = min(status_money[C], a)
    
# ある状態とある状態の組合せを全部取る
for c in range(1 << N):
    # どんな鍵の組合せでも到達できない宝箱の組合せがあるかもしれない
    if status_money[c] == float('inf'):
        continue
    for d in range(1 << N):
        # c と d の論理和をとって新しく生成される状態 e を考える
        e = c | d
        # eにあらかじめ格納されている最小コストと，今生成したコストとのminをとる
        status_money[e] = min(status_money[c] + status_money[d], status_money[e])

# そもそも到達できない場合の処理を記述       
if status_money[-1] == float('inf'):
    print(-1)
else:
    print(status_money[-1])

Buggy python submission (verdict: Time Limit Exceeded):
import copy
N, M = map(int, input().split())
boxkey = [[[], 0] for _ in range(N)]
keymoney = [0 for _ in range(M)]

for i in range(M):
	a, b = list(map(int, input().split()))
	keymoney[i] = a
	C = list(map(int, input().split()))
	for c in C:
		boxkey[c - 1][0].append(i + 1)
		
for i in range(N):
	boxkey[i][1] = len(boxkey[i][0])

boxkey = sorted(boxkey, key = lambda x : (x[1]))
mini = float('inf')

	
minimum = float('inf')
end = 0

def dfs(blg_key, depth, money):
	global mini
	depth += 1
	if depth == N:
		mini = min(money, mini)
		return money
	else:
		# print(boxkey[depth][0])
		for i in boxkey[depth][0]:
			
			# print(i)
			t = copy.deepcopy(blg_key)
			if not i in blg_key:
				t.append(i)
				# print(t)
				dfs(t, depth, money + keymoney[i - 1])
			else:
				# print(t)
				dfs(t, depth, money)
				
				
for i in boxkey:
	if i[1] == 0:
		end = 1
		print(-1)
		break
if end == 0:
	for i in boxkey[0][0]:
		dfs([i], 0, keymoney[i - 1])
	print(mini)

Fixed submission:
# 所持している鍵の集合をbitで表現する
#　鍵の集合を表す2進数が少なくなる方向に遷移することはないから，for文for文でかける

N, M = map(int, input().split())
status_money = [float('inf')] * (1 << N)

# 初期状態からの遷移を記録
for _ in range(M) :
    a, b = map(int, input().split())
    C = 0
    for c in input().split() :
        C |= (1 << (int(c) - 1))
    status_money[C] = min(status_money[C], a)
    
# ある状態とある状態の組合せを全部取る
for c in range(1 << N):
    # どんな鍵の組合せでも到達できない宝箱の組合せがあるかもしれない
    if status_money[c] == float('inf'):
        continue
    for d in range(1 << N):
        # c と d の論理和をとって新しく生成される状態 e を考える
        e = c | d
        # eにあらかじめ格納されている最小コストと，今生成したコストとのminをとる
        status_money[e] = min(status_money[c] + status_money[d], status_money[e])

# そもそも到達できない場合の処理を記述       
if status_money[-1] == float('inf'):
    print(-1)
else:
    print(status_money[-1])