345.06/345.17	unsat
