34.03/34.41	unsat
