#!/bin/sh

go run part1.go

go run part2.go > expr.py
python sat.py