348.57/349.94	unsat
