340.14/343.43	unsat
