343.08/344.21	unsat
