294.93/296.05	unsat
