#!/bin/bash

./Score2SAT $1 1
