342.66/344.22	unsat
