345.96/346.70	unsat
