342.80/346.58	unsat
