343.46/344.54	unsat
