345.40/345.65	unsat
