#!/bin/bash
./maxcdcl-openwbo $1 300
