346.84/347.47	unsat
