#!/bin/sh
twistd -noy sat.tac