293.78/296.68	unsat
