341.88/343.03	unsat
