292.67/296.64	unsat
