34.39/34.45	unsat
