34.64/34.76	unsat
