342.28/343.05	unsat
