303.67/306.87	unsat
