diff --git a/lab7/sol.py b/lab7/sol.py
index e69de29b..70490284 100644
--- a/lab7/sol.py
+++ b/lab7/sol.py
@@ -0,0 +1,14 @@
+import angr, sys
+
+proj = angr.Project('./login')
+init_state = proj.factory.entry_state()
+simulation = proj.factory.simgr(init_state)
+
+def success_condition(state):
+    return b'Login successful' in state.posix.dumps(sys.stdout.fileno())
+def fail_condition(state):
+    return b'Login failed' in state.posix.dumps(sys.stdout.fileno())
+
+simulation.explore(find=success_condition, avoid=fail_condition)
+solution = simulation.found[0]
+print(solution.posix.dumps(sys.stdin.fileno()))