341.47/345.65	unsat
