34.47/34.59	unsat
