343.72/345.00	unsat
