294.23/296.18	unsat
