34.04/34.18	unsat
