34.49/34.52	unsat
