347.93/349.37	unsat
